Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Tree Automata Techniques and Applications

 Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор:
Размер книги: 2.00 Mb

Rewriting, Computation and Proof

 Автор: , Автор: , Автор:
Категория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.45 Mb

Rewriting Techniques and Applications, 8 conf., RTA-97

 Автор:
Категория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 3.17 Mb

Constraints in Computational Logics: Theory and Applications, CCL'99

 Автор: , Автор: , Автор:
Категория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 2.01 Mb

Computer Aided Verification, 13 conf., CAV 2001

 Автор: , Автор: , Автор:
Категория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 4.16 Mb